Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
441	Randomized Algorithms for Solving Large Scale Nonlinear Least Squares Problems by Farbod Roosta-Khorasani Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2016-01-22 15:04:55 Probabilistic complexity theory Numerical analysis Analysis of algorithms Algorithm Mathematical logic Theoretical computer science Monte Carlo method Pi Stochastic Randomized algorithm
442	Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:41:13 Theoretical computer science Analysis of algorithms Dynamic programming Software optimization Algorithm Mathematical logic Selection algorithm Recursion Sort Best worst and average case Knapsack problem Matrix chain multiplication
443	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
444	Piotr KAŹMIERCZAK  +   http://piotrkazmierczak.com Munich, Germany Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-05 18:07:41 Non-classical logic Modal logic Modality Philosophical logic Logic Mathematical logic Haskell Proof theory Python
445	Introduction to the Grok Language Ric Holt, 5 May 2002 Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2002-05-16 17:36:40 Mathematical logic Binary relation Grok Knowledge Base Transitive closure Function Equality FO Cartesian product Finitary relation Closure
446	Year 1 New Computing Curriculum Overview Strand Add to Reading List Source URL: swaygrantham.co.uk Language: English - Date: 2014-07-02 18:20:09 Computing Computer programming Software engineering Algorithm Mathematical logic Theoretical computer science Computer Input/output Instruction set Subroutine Password Algorithm characterizations
447	Emanuele Frittaion Curriculum Vitae 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-05-17 18:40:36 Mathematical logic Mathematics Computability theory Logic Philosophy of mathematics Foundations of mathematics Reverse mathematics Constructivism
448	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
449	Appendix K: Bibliography [1] R. L. Wilder. Cultural Basis of Mathematics I, II, III http://www.gap-system.org/~history/Extras/Cultural_Basis_I.html http://www.gap-system.org/~history/Extras/Cultural_Basis_II.html http:// Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 Mathematics Computing Academia Algorithmic Number Theory Symposium Computational number theory OMDoc Mathematical logic Proof theory Gerald Schwarz Colette Rolland
450	Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-31 04:15:47 Constructivism Structure Mathematics Type theory Logic Constructive proof Axiom of choice Topos Mathematical logic Model theory Topology

UPDATE